- strongly-typed language
- язык со строгим контролем типов
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
strongly-typed language
Смотреть что такое "strongly-typed language" в других словарях:
Strongly-typed programming language — In computer science and computer programming, the term strong typing is used to describe those situations where programming languages specify one or more restrictions on how operations involving values having different data types can be… … Wikipedia
Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… … Wikipedia
Language Integrated Query — LINQ redirects here. For the card game, see Linq (card game). Language Integrated Query Influenced by SQL, Haskell Language Integrated Query (LINQ, pronounced link ) is a Microsoft .NET Framework component that adds native data querying… … Wikipedia
F Sharp (programming language) — The correct title of this article is F#. The substitution or omission of the # sign is because of technical restrictions. F# Paradigm(s) multi paradigm: functional, imperative, object oriented Appeared in 2002 (2002) … Wikipedia
Charm (programming language) — Charm Paradigm(s) Structured programming Appeared in 1996 Designed by P. Nowosad Influenced by RTL/2, C, Pascal OS RISC OS … Wikipedia
Linden Scripting Language — Linden Scripting Language, or LSL, is the programming language used by residents of Second Life , a virtual world by Linden Lab. [ http://wiki.secondlife.com/wiki/Help:Getting started with LSL#What is LSL.3F] LSL scripts can control the behavior… … Wikipedia
Draco (programming language) — Draco Paradigm(s) imperative (procedural), structured Appeared in early 1980s, discontinued around 1990 Designed by Chris Gray Typing discipline static, strong, manifest … Wikipedia
Gödel (programming language) — Gödel is a declarative, general purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many sorted logic with parametric polymorphism. It is named after… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Oxygene (programming language) — Oxygene Developer RemObjects Software Stable release 3.0.21 (August 29, 2009; 2 years ago (2009 08 29)) Influenced by Object Pas … Wikipedia
Python (programming language) — infobox programming language name = Python paradigm = multi paradigm: object oriented, imperative, functional year = 1991 designer = Guido van Rossum developer = Python Software Foundation latest release version = 2.6 latest release date =… … Wikipedia
